verificatio相关论文
设计一种可以用于大规模多点温度测量的巡回检测系统,实现90路温度传感器的检定。该系统采用的是RS-232串行通讯的标准,通过下位机......
根据粉末塑性变形理论,采用MSC.M arc软件完成了316不锈钢粉末热等净压成形过程的有限元模拟.重点分析了热等静压成形过程中致密包......
数字指纹在版权保护方面有着非常重要的作用,它能使销售商在收缴到非法拷贝后追踪出真正的盗版者。已有的数字指纹方案可分为:对称......
介绍了双金属片的关键参数和经典计算公式，通过具体实例介绍了冷态间隙范围及其确定方法，可作为生产中冷态调节的操作依据，也为验收塑......
为了研究hsa—miR-663在肿瘤细胞辐射应答通路中的功能，人工合成其前体并构建人表达载体pcD-NA^TM-6．2-GW／EmGFP—miR-663，进一步通过B......
随着设计复杂度的不断增加和设计规模的不断增大,传统的验证工具已难以适应当前功能验证的要求.Vera为验证增添了强大的语言能力.......
提出了一种基于国产安全操作系统安全配置的实时核查方法,包括用户安全设置、密码安全设置、系统安全设置、服务安全设置、注册表......
在测定方法基本原理不变的基础上提出使用钛一铁连测分析方法，可实现一次称样即可完成钛和铁的测定。在钛铁矿钛铁连测条件试验中，对......
利用以雷达资料快速更新四维变分同化（RR4DVar）技术和三维数值云模式为核心的模拟分析系统,通过同化京津冀区域6部新一代天气雷达逐6......
电力变压器由于各种原因在运行一段时间后,其实际参数与铭牌标定不再一致。本文利用现场测得的运行数据,在考虑了温度对参数影响的......
修正热轧钢管冷却时间理论公式，提出了一种较为接近实测值的钢管冷却时间工程计算公式，并对该钢管冷却时间工程计算公式进行验证；此外......
脑电图机检定由于受到多项因素的影响,长期以来不能按照规程要求正常实施,造成质量的失控.本文作者结合多年的实际工作经验,研究总......
送风风道是铁路客车环境控制系统的重要组成部分,其送风均匀性直接影响客车室内温度场和速度场的分布情况,从而影响到乘客乘坐的舒......
介绍基桩完整性测试仪(P.I.T.)的基本性能。应用该仪器进行桩的工程检测,研究其特性,并对工程桩的几种缺陷桩实测曲线进行研判及开......
对基于高层体系结构(High Level Architecture,简称HLA)的仿真系统的校核、验证与确认(Verification, Validation and Accreditati......
根据新疆某水电站设计需要,对选定机组各个过渡过程的主要工况进行调节保证计算,选定优化后的导叶关闭规律及关闭时间计算分析表明......
通过对我国现行的柔性路面设计中所采用的弯沉综合修正系数F问题的讨论,并详细分析了路基土的非线性性质对于柔性路面结构弯沉值的......
考释了威远镇北宋石碑,展现了那个时代秦陇地区的历史风云和文化经络,欣赏到一代才人神来之笔的生动歌唱.......
P2P网络中节点的自主行为使网络性能受到限制,基于博弈理论的激励机制能应对P2P节点行为的复杂性。在对节点行为建立其策略模型的......
随着面向对象建模与仿真技术在仿真领域的运用越来越广泛,如何确保面向对象仿真可信度,这个问题越来越突出。基于面向对象建模与仿......
首先介绍了功能覆盖率和层次化Testbench，然后将两者结合起来介绍了一种基于功能覆盖率的验证环境的构建方法。论文结合作者设计的......
